Nuprl Definition : ratio-dist
0,22
postcript
pdf
|
a
/
b
-
p
/
q
| < 1/
m
==
m
|
a
q
-
p
b
|<
b
q
latex
Definitions
a
<
b
,
|
i
|
,
n
-
m
,
n
m
FDL editor aliases
ratio-dist
origin
|aq-pb|<bq |aq-pb|<bq m